<?php 
function get_list_path($list_page_num)
{
	$list_path = "problem_list/";
	return $list_path . "list_page" . $list_page_num . ".txt";
}
$list_page_num = (array_key_exists("page", $_GET) && filter_var($_GET["page"], FILTER_VALIDATE_INT)) ? $_GET["page"] : 1;
?>
<?php
function get_problem_path($id){
	$problem_dir = "project/";
	return $problem_dir . "pe" . $id . ".html";
}
$section = array_key_exists("section",$_GET) ? $_GET["section"] : "";
$pid = (array_key_exists("id",$_GET) && filter_var($_GET["id"], FILTER_VALIDATE_INT)) ? $_GET["id"] : "";
?>
<?php
include("head.php");
include("main.php");
include("floor.php");
?>
